Modelling an elevator design task in DESIRE: the VT example

An elevator configuration task, the VT task, is modelled within DESIRE as a design task. DESIRE is a framework within which complex reasoning tasks are modelled as compositional architectures. Compositional architectures are based on a task decomposition, acquired during task analysis. An earlier developed generic task model of design, based on a logical analysis and synthesis of task models devised for diverse applications, has been refined for the elevator configuration task. The resulting task model includes a description of the ontology of the elevator domain and a description of the task model.